The Depth of Invariant Rings and Cohomology
نویسنده
چکیده
Let G be a finite group acting linearly on a vector space V over a field K of positive characteristic p, and let P ≤ G be a Sylow p-subgroup. Ellingsrud and Skjelbred [20] proved the lower bound depth(K[V ]) ≥ min{dim(V P ) + 2,dim(V )} for the depth of the invariant ring, with equality if G is a cyclic p-group. Let us call the pair (G,V ) flat if equality holds in the above. In this paper we use cohomological methods to obtain information about the depth of invariant rings and in particular to study the question of flatness. For G of order not divisible by p it ensues that (G,V ) is flat if and only if H(G,K[V ]) 6= 0 or dim(V P ) + 2 ≥ dim(V ). We obtain a formula for the depth of the invariant ring in the case that G permutes a basis of V and has order not divisible by p. In this situation (G,V ) is usually not flat. Moreover, we introduce the notion of visible flatness of pairs (G,V ) and prove that this implies flatness. For example, the groups SL2(q), SO3(q), SU3(q), Sz(q), and R(q) with many interesting representations in defining characteristic are visibly flat. In particular, if G = SL2(q) and V is the space of binary forms of degree n or a direct sum of such spaces, then (G,V ) is flat for all q = p with the exception of a finite number of primes p. Along the way, we obtain results about the Buchsbaum property of invariant rings, and about the depth of the cohomology modules H(G,K[V ]). We also determine the support of the positive cohomology H(G,K[V ]) as a module over K[V ]. In the appendix, the visibly flat pairs (G,V ) of a group with BN -pair and an irreducible representation are classified.
منابع مشابه
Ring structures of mod p equivariant cohomology rings and ring homomorphisms between them
In this paper, we consider a class of connected oriented (with respect to Z/p) closed G-manifolds with a non-empty finite fixed point set, each of which is G-equivariantly formal, where G = Z/p and p is an odd prime. Using localization theorem and equivariant index, we give an explicit description of the mod p equivariant cohomology ring of such a G-manifold in terms of algebra. This makes ...
متن کاملNew Algorithm For Computing Secondary Invariants of Invariant Rings of Monomial Groups
In this paper, a new algorithm for computing secondary invariants of invariant rings of monomial groups is presented. The main idea is to compute simultaneously a truncated SAGBI-G basis and the standard invariants of the ideal generated by the set of primary invariants. The advantage of the presented algorithm lies in the fact that it is well-suited to complexity analysis and very easy to i...
متن کاملInvariant elements in the dual Steenrod algebra
In this paper, we investigate the invariant elements of the dual mod $p$ Steenrod subalgebra ${mathcal{A}_p}^*$ under the conjugation map $chi$ and give bounds on the dimensions of $(chi-1)({mathcal{A}_p}^*)_d$, where $({mathcal{A}_p}^*)_d$ is the dimension of ${mathcal{A}_p}^*$ in degree $d$.
متن کاملTOP LOCAL COHOMOLOGY AND TOP FORMAL LOCAL COHOMOLOGY MODULES WITH SPECIFIED ATTACHED PRIMES
Let (R,m) be a Noetherian local ring, M be a finitely generated R-module of dimension n and a be an ideal of R. In this paper, generalizing the main results of Dibaei and Jafari [3] and Rezaei [8], we will show that if T is a subset of AsshR M, then there exists an ideal a of R such that AttR Hna (M)=T. As an application, we give some relationships between top local cohomology modules and top f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999